Thomas J Streicher: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (20)
Most Popular
List
- List
- Table

1

Introduction to Category Theory and Categorical Logic [Lecture notes]

Introduction to Category Theory and Categorical Logic [Lecture notes]

Thomas Streicher

Year:

2017

Language:

english

File:

PDF, 659 KB

0 / 0

english, 2017

2

Introduction to Category Theory and Categorical Logic

Introduction to Category Theory and Categorical Logic

Thomas Streicher

Year:

2018

Language:

english

File:

PDF, 664 KB

0 / 0

english, 2018

3

Bauphysik — Erweiterung 1: Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Bauphysik — Erweiterung 1: Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Springer Vienna

Dipl.-Ing. Dr. techn. Christian Pöhn, Dipl.-Ing. Dr. techn. Anton Pech, Ao.Univ.Prof. Dipl.-Ing. Dr. techn. Thomas Bednar, O.Univ.Prof. Dipl.-Ing. Dr. techn. Wolfgang Streicher (auth.)

Year:

2012

Language:

german

File:

PDF, 2.36 MB

0 / 0

german, 2012

4

Domain-theoretic Foundations of Functional Programming

Domain-theoretic Foundations of Functional Programming

World Scientific Pub Co Inc

Thomas Streicher

Year:

2006

Language:

english

File:

PDF, 3.79 MB

0 / 0

english, 2006

5

Bauphysik: Erweiterung 1 Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Bauphysik: Erweiterung 1 Energieeinsparung und Wärmeschutz Energieausweis — Gesamtenergieeffizienz

Springer Vienna

Dipl.-Ing. Dr. techn. Christian Pöhn, Dipl.-Ing. Dr. techn. Anton Pech, Dipl.-Ing. Dr. techn. Thomas Bednar, Dipl.-Ing. Dr. techn. Wolfgang Streicher (auth.)

Year:

2007

Language:

german

File:

PDF, 3.92 MB

0 / 0

german, 2007

6

Domain-theoretic Foundations of Functional Programming

Domain-theoretic Foundations of Functional Programming

World Scientific Publishing Company

Thomas Streicher

Year:

2006

Language:

english

File:

PDF, 1.46 MB

0 / 0

english, 2006

7

Introduction to Constructive Logic and Mathematics [Lecture notes]

Introduction to Constructive Logic and Mathematics [Lecture notes]

Thomas Streicher

Year:

2009

Language:

english

File:

PDF, 432 KB

0 / 0

english, 2009

8

Domain-theoretic foundations of functional programming

Domain-theoretic foundations of functional programming

Thomas Streicher

Year:

2006

Language:

english

File:

DJVU, 856 KB

0 / 0

english, 2006

9

Categorical Models of Constructive Logic [Lecture notes]

Categorical Models of Constructive Logic [Lecture notes]

Thomas Streicher

Year:

2013

Language:

english

File:

PDF, 413 KB

0 / 0

english, 2013

10

Fibred categories à la Jean Bénabou [Lecture notes]

Fibred categories à la Jean Bénabou [Lecture notes]

Thomas Streicher

Year:

2017

Language:

english

File:

PDF, 661 KB

0 / 0

english, 2017

11

Domain-theoretic Foundations of Functional Programming

Domain-theoretic Foundations of Functional Programming

World Scientific Publishing Company

Thomas Streicher

Year:

2006

Language:

english

File:

PDF, 1.66 MB

0 / 0

english, 2006

12

Logik für Informatiker [Lecture notes]

Logik für Informatiker [Lecture notes]

Thomas Streicher

Year:

2002

Language:

german

File:

PDF, 457 KB

0 / 0

german, 2002

13

Fibred categories à la Jean Bénabou

Fibred categories à la Jean Bénabou

Thomas Streicher

Year:

2019

Language:

english

File:

PDF, 659 KB

0 / 0

english, 2019

14

Extra-Planetary Experiences: Alien-Human Contact and the Expansion of Consciousness

Extra-Planetary Experiences: Alien-Human Contact and the Expansion of Consciousness

Thomas James Streicher

Year:

2012

Language:

english

File:

PDF, 1.87 MB

0 / 0

english, 2012

15

Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

Thomas Streicher

Year:

2002

Language:

german

File:

PDF, 470 KB

0 / 0

german, 2002

16

Realizability [Lecture notes]

Realizability [Lecture notes]

Thomas Streicher

Year:

2013

Language:

english

File:

PDF, 605 KB

0 / 0

english, 2013

17

Baukonstruktionen / Bauphysik: Erweiterung 1: Energieeinsparung und Wärmeschutz. Energieausweis - Gesamtenergieeffizienz

Baukonstruktionen / Bauphysik: Erweiterung 1: Energieeinsparung und Wärmeschutz. Energieausweis - Gesamtenergieeffizienz

Christian Pöhn, Anton Pech, Thomas Bednar, Wolfgang Streicher

Year:

2016

Language:

german

File:

PDF, 1.71 MB

0 / 0

german, 2016

18

Extra-planetary experiences : alien-human contact and the expansion of consciousness

Extra-planetary experiences : alien-human contact and the expansion of consciousness

Inner Traditions / Bear & Company

Thomas J Streicher, (fwd, Stanley Krippner, )

Year:

2012

Language:

english

File:

EPUB, 2.12 MB

0 / 0

english, 2012

19

Semantics of Type Theory: Correctness, Completeness and Independence Results

Semantics of Type Theory: Correctness, Completeness and Independence Results

Birkhäuser Basel

Thomas Streicher (auth.)

Year:

1991

Language:

english

File:

PDF, 7.90 MB

0 / 0

english, 1991

20

Semantics of type theory: correctness, completeness and independence results

Semantics of type theory: correctness, completeness and independence results

Streicher, Thomas

Year:

1991

Language:

english

File:

DJVU, 2.27 MB

0 / 0

english, 1991